Core_2 abstractions 12,41
Introduces a variety of general-purpose definitions and
theorems. 

origin